-
1 логическая семантика
логикалық семантикаРусско-казахский терминологический словарь "Философия и политология" > логическая семантика
-
2 логическая семантика
Mathematics: logical semanticsУниверсальный русско-английский словарь > логическая семантика
-
3 логическая семантика
logical semantics мат.Русско-английский научно-технический словарь Масловского > логическая семантика
-
4 семантика
семантика
Раздел языкознания, исследующий с семиотических (семиотика – наука о знаках и знаковых системах) позиций смыслы и значения единиц языка (слов, предложений и др.), его выражений и логических форм, участвующих в его порождении, построении и изменении. В компьютерном программировании – определяет сущность кодов, команд, сообщений и охватывает совокупность операций, служащих для определения либо кодирования смысла данных.
Смысловая часть языка программирования.
[ http://www.morepc.ru/dict/]Тематики
EN
3.36 семантика (semantics): Средства определения значения поля данных.
Примечание - Примерами семантики, используемыми при автоматическом сборе данных, являются идентификаторы данных по ИСО 15418 и ANSI MH10.8.2, идентификаторы применения EAN.UCC, квалификаторы элементов данных электронного обмена данными (X12/EDIFACT/CII), идентификаторы элементов данных, используемые министерством обороны США.
Источник: ГОСТ Р ИСО 22742-2006: Автоматическая идентификация. Кодирование штриховое. Символы линейного штрихового кода и двумерные символы на упаковке продукции оригинал документа
3.3.10 семантика (semantics): Смысл заданного понятия.
Пример - Семантикой переменной является смысл, выраженный посредством этой переменной.
Примечание - В контексте настоящего стандарта семантика представлена объектом variable_semantics. Типом этого объекта является ABSTRACT SUPERTYPE, который может быть использован для передачи конкретных смыслов и значений.
Источник: ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа
4.67 семантика (semantics): Смысл заданного понятия.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > семантика
См. также в других словарях:
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел математической логики, посвященный проблеме отношения высказывания или его частей к реальности. Основатель современной Л. с. немецкий ученый Готтлоб Фреге. Прежде всего, он сформулировал различие между денотатом (значением) знака (то есть… … Энциклопедия культурологии
ЛОГИЧЕСКАЯ СЕМАНТИКА — теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном… … Большой Энциклопедический словарь
логическая семантика — теория, изучающая вопросы интерпретации логических исчислений: отношения между языком исчисления и описываемой им реальностью моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном… … Энциклопедический словарь
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — теория, изучающая вопросы интерпретации логич. исчислений: отношения между языком исчисления и описываемой им реальностью моделью теории, условия существования моделей исчислений, их практич. применимости и др. В более спец. смысле дедуктивная… … Естествознание. Энциклопедический словарь
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
СЕМАНТИКА — [< гр. semantikos значащий] лингв. наука о значениях слов и выражений, а также об отношении языковых знаков к обозначаемым объектам. Словарь иностранных слов. Комлев Н.Г., 2006. семантика (гр. semantikos обозначающий) 1) смысловая сторона языка… … Словарь иностранных слов русского языка
СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ — Представление о том, что у настоящего может быть не одно, а несколько направлений развития в будущем (это, собственно, и составляет содержание понятия возможные миры ), было, вероятно, в культуре всегда. Но оно обострилось в ХХ в. в связи с общей … Энциклопедия культурологии
СЕМАНТИКА — раздел семиотики и логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Семантическая проблематика обсуждалась еще в античности, однако только на рубеже 19 20 вв. в трудах Ч. Пирса, Ф. де Соссюра, Ч.… … Философская энциклопедия
СЕМАНТИКА ЛОГИЧЕСКАЯ — раздел металогики, в которой изучаются отношения между объектами и символами, используемыми для их обозначения. Центральным содержательным компонентом С.л. является теория терминов. Согласно классической концепции смысла и значения терминов,… … Философская энциклопедия